Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Formally Specifying CARA in Java? Eugene W. Stark Department of Computer Science, State University of New York at Stony Brook, Stony

Source URL: bsd7.cs.sunysb.edu

• Formal methods
• Programming paradigms
• Cross-platform software
• Theoretical computer science
• Logic in computer science
• Infusion pump
• Model checking
• Formal verification
• Java
• Object-oriented programming
• Coupling
• Design by contract

Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen

Source URL: www.olejohandahl.info

• Type theory
• Data types
• Object-oriented programming
• Model theory
• Polymorphism
• Subtyping
• Type system
• FO
• Generic programming
• Functional predicate
• -recursive function
• Function

Exploiting Repetitive Object Patterns for Model Compression and Completion Luciano Spinello1,2 , Rudolph Triebel2 , Dizan Vasquez3 , Kai O. Arras1 , and Roland Siegwart2 1 2

Source URL: europa.informatik.uni-freiburg.de

• Initial and terminal objects
• Nothing
• Graph
• Node
• Feature detection
• Computer vision

Co-creating shared vision with external representations Dr. Deana Pennington Associate Professor, Dept. of Geological Sciences University of Texas at El Paso

Source URL: sts.memberclicks.net

• Thought
• Educational psychology
• Scientific modeling
• Cognitive science
• Learning theory
• Mental model
• Conceptual change
• Boundary object
• Science of team science
• Analogy
• Conceptual model
• Reason

Demystifying Page Load Performance with WProf Xiao Sophia Wang, Aruna Balasubramanian, Arvind Krishnamurthy, and David Wetherall University of Washington Abstract sources fetched by HTTP with JavaScript and CSS evaluati

Source URL: www3.cs.stonybrook.edu

• Web development
• Web browsers
• Web design
• JavaScript
• Cascading Style Sheets
• Document Object Model
• HTTP cookie
• Dynamic web page
• Style sheet
• Cross-browser
• Google PageSpeed Tools
• YUI Library

A psychoanalytic model of the child-in-the-family-in-thecommunity 1 Introduction Donald Meltzer and Martha Harris (1976)

Source URL: transitionalspace.files.wordpress.com

• Object relations theory
• Psychoanalytic theory
• Defence mechanisms
• Borderline personality disorder
• Donald Meltzer
• Freudian psychology
• Wilfred Bion
• Martha Harris
• Paranoid-schizoid and depressive positions
• Melanie Klein
• Psychoanalysis
• Projective identification

2008 Cognitive Systems Programming Question Congratulations! 60-Minute Software (“Ready in an hour or it’s free!”) has hired you help build their new PHAT (Pure HTML Active Templates) web page generation system. Un

Source URL: cs.northwestern.edu

• HTML
• Binary trees
• Application programming interfaces
• Data types
• Node
• Tree
• Document Object Model
• Rope
• HTML element
• XPath
• Linked list

In Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), Vilamoura, Portugal, Octobercorrected) Semantic Mapping Using Object-Class Segmentation of RGB-D Images Jörg Stückler1 , Nenad Bires

Source URL: www.ais.uni-bonn.de

• Computer vision
• Image segmentation
• Computational neuroscience
• RGB color model
• Octree
• Convolutional neural network
• Rigid motion segmentation
• Video Sequences Saliency Map

ShapeNet: An Information-Rich 3D Model Repository http://www.shapenet.org 1 Angel X. Chang , Thomas Funkhouser2 , Leonidas Guibas1 , Pat Hanrahan1 , Qixing Huang3 , Zimo Li3 , Silvio Savarese1 , Manolis Savva∗1 , Shura

Source URL: vision.princeton.edu

• Image processing
• Visual effects
• ImageNet
• 3D computer graphics
• 3D scanner
• LabelMe
• WordNet
• Computer vision
• 3D modeling
• Shape analysis
• Outline of object recognition
• Annotation

Savannah Tip No 24: There is a strong possibility of the Centre Stick being jammed by an object that has fallen onto the floor of any model Savannah. An example is as shown in the photo below where a fallen mobile phone

Source URL: aerokits.net.au